首页> 外文OA文献 >Introduction to the ISO Specification Language LOTOS1

【2h】

Introduction to the ISO Specification Language LOTOS1

机译：IsO规范语言LOTOs1简介

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者

展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. An Introduction to metric semantics: operational and denotational models for programming and specification languages [J] . van Breugel F. Theoretical computer science . 2001,第1a2期

机译：度量语义简介：用于编程和规范语言的操作模型和指称模型
2. An introduction to the specification language SPEC [J] . Berzins V., Luqi IEEE Software . 1990,第2期

机译：规范语言SPEC简介
3. Supervisory control synthesis for deterministic context free specification languages Enforcing controllability least restrictively [J] . Schmuck Anne-Kathrin, Schneider Sven, Raisch Joerg, Discrete event dynamic systems: Theory and applications . 2016,第1期

机译：确定性上下文无关规范语言的监督控制综合最小限度地实施可控制性
4. The Abstract Behavioral Specification Language: A Tutorial Introduction [C] . Reiner Haehnle International symposium on formal methods for components and objects . 2013

机译：抽象行为规范语言：教程简介
5. A formal methodology for deriving purely functional programs from Z specifications via the intermediate specification language FunZ. [D] . Sherrell, Linda Bostwick. 1995

机译：通过中间规范语言FunZ从Z规范派生纯功能程序的形式化方法。
6. The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 2 Core Release 2 [O] . Michael Hucka, Frank T. Bergmann, Claudine Chaouiya, 2019

机译：系统生物学标记语言（SBML）：3级版本2核心发行版2的语言规范
7. Introduction to the ISO specification language Lotos [O] . Tommaso Bolognesi 1988

机译：介绍IsO规范语言Lotos
8. Towards a Language and Notation for the Specification of Reliable Real-TimeSystems, Part 4 Revised. Requirements and Design Specification Language. Formal Definition [R] . Wieczorek, M. J., Vytopil, J. 1990

机译：关于可靠实时系统规范的语言和符号，第4部分修订。要求和设计规范语言。正式定义

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号